1. Alfred Tarski
المؤلف: Anita Burdman Feferman, Solomon Feferman,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Tarski, Alfred,Logic, Symbolic and mathematical,Logicians- United States- Biography
رده :
QA
.
T32
,
F44
29
2004
2. Alfred Tarski: life and logic
المؤلف: Feferman, Anita Burdman.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Tarski, Alfred,، Logic, Symbolic and mathematical,United States -- Biography ، Logicians
رده :
QA
29
.
T32
F44
2008
3. Alfred Tarski: life and logic
پدیدآورنده : / Anita Burdman Feferman, Solomon Feferman
موضوع : ت‍ارس‍ک‍ی، آل‍ف‍رد،Tarski, Alfred,م‍ن‍طق ری‍اض‍ی,Logicians - United States - Biography
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Alfred Tarski : life and logic
المؤلف: Feferman, Anita Burdman, 7291-
المکتبة: (طهران)
موضوع: ، Tarski, Alfred,، Logic, Symbolic and mathematical,Biography ، Logicians -- United States
رده :
QA
29
.
T32F43
5. Between logic and intuition :
المؤلف: edited by Gila Sher, Richard Tieszen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Parsons, Charles,1933-.,Parsons, Charles.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,08.33 logics and argumentation.,Intuition,Intuition.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logica.,Logik,Mathematics-- Philosophy.,Mathematics-- Philosophy.,Paradoxes.,Set theory.,Wiskundige logica.
رده :
QA9
.
A5
B489
2000
6. Collected Works
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and Mathematical. ;
7. Collected works
المؤلف: Kurt Godel
المکتبة: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)
موضوع: Logic, symbolic and mathematical
8. Collected works
المؤلف: Gغodel, Kurt.
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA9
.
G5313
1986
9. Collected works
المؤلف: Godel, Kurt Friedrich, 6091-8791
المکتبة: (طهران)
موضوع: Collected works ، Logic, Symbolic and mathematical
رده :
QA
9
.
G5313
10. Collected works, Works. English & German. 5891
المؤلف: Godel, Kurt
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
G5313
1986
11. Computability :
المؤلف: edited by Jack Copeland, Carl J. Posy, and Oron Shagrir
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational complexity,Mathematics-- Philosophy
رده :
QA267
.
7
.
C677
2013
12. Feferman on foundations :
المؤلف: Gerhard Jäger, Wilfried Sieg, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematical theory of computation.,MATHEMATICS-- General.,Philosophy: logic.
رده :
QA9
.
2
13. In the light of logic
المؤلف: Feferman, Solomon
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
2
.
F44
1998
14. In the light of logic
المؤلف: Feferman, Solomon, 8291-
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
2
.
F44
15. In the light of logic
المؤلف: / Solomon Feferman
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
2
.
F44
1998
16. Kurt Godel : essays for his centennial
المؤلف: edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
33
17. Mathematical logic
المؤلف: / edited by R.O. Gandy and C.E.M. Yates
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.
رده :
QA
,
9
.
2
,.
T87
,
2001
18. Model-theoretic logics
المؤلف: edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ]and others[
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Model theory
19. Model-theoretic logics
المؤلف: edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ... ]et al.[,Series
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Model theory
رده :
QA
.
M58
9
.
7
1985
20. Model-theoretic logics
المؤلف: edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ... )et al.(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Model theory
رده :
QA
9
.
7
.
M58
1985
